extract (Prod e a) = a